Residuated mappings
نویسندگان
چکیده
منابع مشابه
Residuated bilattices
We introduce a new product bilattice construction that generalizes the well-known one for interlaced bilattices and others that were developed more recently, allowing to obtain a bilattice with two residuated pairs as a certain kind of power of an arbitrary residuated lattice. We prove that the class of bilattices thus obtained is a variety, give a finite axiomatization for it and characterize ...
متن کاملResiduated Lattices
The theory of residuated lattices, first proposed by Ward and Dilworth [4], is formalised in Isabelle/HOL. This includes concepts of residuated functions; their adjoints and conjugates. It also contains necessary and sufficient conditions for the existence of these operations in an arbitrary lattice. The mathematical components for residuated lattices are linked to the AFP entry for relation al...
متن کاملEquation with residuated functions
The structure of solution-sets for the equation F (x) = G(y) is discussed, where F, G are given residuated functions mapping between partially-ordered sets. An algorithm is proposed which produces a solution in the event of finite termination: this solution is maximal relative to initial trial values of x, y. Properties are defined which are sufficient for finite termination. The particular cas...
متن کاملResiduated Park Theories
When L is a complete lattice, the collection MonL of all monotone functions L → L, n, p ≥ 0, forms a Lawvere theory. We enrich this Lawvere theory with the binary supremum operation ∨, an operation of (left) residuation ⇐ and the parameterized least fixed point operation . We exhibit a system of equational axioms which is sound and proves all valid equations of the theories MonL involving only ...
متن کاملTopological Residuated Lattices
In this paper, we study the separtion axioms T0, T1, T2 and T5/2 on topological and semitopological residuated lattices and we show that they are equivalent on topological residuated lattices. Then we prove that for every infinite cardinal number α, there exists at least one nontrivial Hausdorff topological residuated lattice of cardinality α. In the follows, we obtain some conditions on (semi)...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Pacific Journal of Mathematics
سال: 1967
ISSN: 0030-8730,0030-8730
DOI: 10.2140/pjm.1967.20.35